Optimal. Leaf size=124 \[ \frac {\log \left (x^3+1\right )}{12 \sqrt [3]{2}}-\frac {\log \left (-\sqrt [3]{1-x^3}-\sqrt [3]{2} x\right )}{4 \sqrt [3]{2}}+\frac {\tan ^{-1}\left (\frac {1-\frac {2 \sqrt [3]{2} x}{\sqrt [3]{1-x^3}}}{\sqrt {3}}\right )}{2 \sqrt [3]{2} \sqrt {3}}-\frac {\left (1-x^3\right )^{2/3}}{x^2}+\frac {1}{2 x^2 \sqrt [3]{1-x^3}} \]
________________________________________________________________________________________
Rubi [C] time = 8.12, antiderivative size = 204, normalized size of antiderivative = 1.65, number of steps used = 1, number of rules used = 1, integrand size = 22, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.045, Rules used = {510} \begin {gather*} -\frac {-18 \left (x^3+1\right )^2 x^6 \, _3F_2\left (2,2,\frac {7}{3};1,\frac {10}{3};-\frac {2 x^3}{1-x^3}\right )-54 x^{12} \, _2F_1\left (2,\frac {7}{3};\frac {10}{3};-\frac {2 x^3}{1-x^3}\right )-84 x^9 \, _2F_1\left (2,\frac {7}{3};\frac {10}{3};-\frac {2 x^3}{1-x^3}\right )-30 x^6 \, _2F_1\left (2,\frac {7}{3};\frac {10}{3};-\frac {2 x^3}{1-x^3}\right )-7 \left (1-x^3\right )^2 \left (9 x^6+12 x^3+2\right ) \, _2F_1\left (\frac {1}{3},1;\frac {4}{3};-\frac {2 x^3}{1-x^3}\right )+63 x^{12}-42 x^9-91 x^6+56 x^3+14}{14 x^5 \left (1-x^3\right )^{7/3}} \end {gather*}
Warning: Unable to verify antiderivative.
[In]
[Out]
Rule 510
Rubi steps
\begin {align*} \int \frac {1}{x^3 \left (1-x^3\right )^{4/3} \left (1+x^3\right )} \, dx &=-\frac {14+56 x^3-91 x^6-42 x^9+63 x^{12}-7 \left (1-x^3\right )^2 \left (2+12 x^3+9 x^6\right ) \, _2F_1\left (\frac {1}{3},1;\frac {4}{3};-\frac {2 x^3}{1-x^3}\right )-30 x^6 \, _2F_1\left (2,\frac {7}{3};\frac {10}{3};-\frac {2 x^3}{1-x^3}\right )-84 x^9 \, _2F_1\left (2,\frac {7}{3};\frac {10}{3};-\frac {2 x^3}{1-x^3}\right )-54 x^{12} \, _2F_1\left (2,\frac {7}{3};\frac {10}{3};-\frac {2 x^3}{1-x^3}\right )-18 x^6 \left (1+x^3\right )^2 \, _3F_2\left (2,2,\frac {7}{3};1,\frac {10}{3};-\frac {2 x^3}{1-x^3}\right )}{14 x^5 \left (1-x^3\right )^{7/3}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] time = 3.11, size = 192, normalized size = 1.55 \begin {gather*} \frac {18 \left (x^3+1\right )^2 x^6 \, _3F_2\left (2,2,\frac {7}{3};1,\frac {10}{3};\frac {2 x^3}{x^3-1}\right )+54 x^{12} \, _2F_1\left (2,\frac {7}{3};\frac {10}{3};\frac {2 x^3}{x^3-1}\right )+84 x^9 \, _2F_1\left (2,\frac {7}{3};\frac {10}{3};\frac {2 x^3}{x^3-1}\right )+30 x^6 \, _2F_1\left (2,\frac {7}{3};\frac {10}{3};\frac {2 x^3}{x^3-1}\right )+7 \left (x^3-1\right )^2 \left (9 x^6+12 x^3+2\right ) \, _2F_1\left (\frac {1}{3},1;\frac {4}{3};\frac {2 x^3}{x^3-1}\right )-63 x^{12}+42 x^9+91 x^6-56 x^3-14}{14 x^5 \left (1-x^3\right )^{7/3}} \end {gather*}
Warning: Unable to verify antiderivative.
[In]
[Out]
________________________________________________________________________________________
IntegrateAlgebraic [A] time = 0.37, size = 161, normalized size = 1.30 \begin {gather*} -\frac {\log \left (2^{2/3} \sqrt [3]{1-x^3}+2 x\right )}{6 \sqrt [3]{2}}-\frac {\tan ^{-1}\left (\frac {\sqrt {3} x}{2^{2/3} \sqrt [3]{1-x^3}-x}\right )}{2 \sqrt [3]{2} \sqrt {3}}+\frac {\left (1-x^3\right )^{2/3} \left (1-2 x^3\right )}{2 x^2 \left (x^3-1\right )}+\frac {\log \left (2^{2/3} \sqrt [3]{1-x^3} x-\sqrt [3]{2} \left (1-x^3\right )^{2/3}-2 x^2\right )}{12 \sqrt [3]{2}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [B] time = 2.60, size = 340, normalized size = 2.74 \begin {gather*} -\frac {2 \, \sqrt {6} 2^{\frac {1}{6}} \left (-1\right )^{\frac {1}{3}} {\left (x^{5} - x^{2}\right )} \arctan \left (\frac {2^{\frac {1}{6}} {\left (6 \, \sqrt {6} 2^{\frac {2}{3}} \left (-1\right )^{\frac {2}{3}} {\left (5 \, x^{7} + 4 \, x^{4} - x\right )} {\left (-x^{3} + 1\right )}^{\frac {2}{3}} - 12 \, \sqrt {6} \left (-1\right )^{\frac {1}{3}} {\left (19 \, x^{8} - 16 \, x^{5} + x^{2}\right )} {\left (-x^{3} + 1\right )}^{\frac {1}{3}} - \sqrt {6} 2^{\frac {1}{3}} {\left (71 \, x^{9} - 111 \, x^{6} + 33 \, x^{3} - 1\right )}\right )}}{6 \, {\left (109 \, x^{9} - 105 \, x^{6} + 3 \, x^{3} + 1\right )}}\right ) - 2 \cdot 2^{\frac {2}{3}} \left (-1\right )^{\frac {1}{3}} {\left (x^{5} - x^{2}\right )} \log \left (\frac {6 \cdot 2^{\frac {1}{3}} \left (-1\right )^{\frac {2}{3}} {\left (-x^{3} + 1\right )}^{\frac {1}{3}} x^{2} - 2^{\frac {2}{3}} \left (-1\right )^{\frac {1}{3}} {\left (x^{3} + 1\right )} + 6 \, {\left (-x^{3} + 1\right )}^{\frac {2}{3}} x}{x^{3} + 1}\right ) + 2^{\frac {2}{3}} \left (-1\right )^{\frac {1}{3}} {\left (x^{5} - x^{2}\right )} \log \left (-\frac {3 \cdot 2^{\frac {2}{3}} \left (-1\right )^{\frac {1}{3}} {\left (5 \, x^{4} - x\right )} {\left (-x^{3} + 1\right )}^{\frac {2}{3}} - 2^{\frac {1}{3}} \left (-1\right )^{\frac {2}{3}} {\left (19 \, x^{6} - 16 \, x^{3} + 1\right )} + 12 \, {\left (2 \, x^{5} - x^{2}\right )} {\left (-x^{3} + 1\right )}^{\frac {1}{3}}}{x^{6} + 2 \, x^{3} + 1}\right ) + 36 \, {\left (2 \, x^{3} - 1\right )} {\left (-x^{3} + 1\right )}^{\frac {2}{3}}}{72 \, {\left (x^{5} - x^{2}\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [F] time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {1}{{\left (x^{3} + 1\right )} {\left (-x^{3} + 1\right )}^{\frac {4}{3}} x^{3}}\,{d x} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [C] time = 2.92, size = 570, normalized size = 4.60 \begin {gather*} -\frac {\RootOf \left (36 \textit {\_Z}^{2}+6 \textit {\_Z} \RootOf \left (\textit {\_Z}^{3}-4\right )+\RootOf \left (\textit {\_Z}^{3}-4\right )^{2}\right ) \ln \left (-\frac {-36 x^{3} \RootOf \left (36 \textit {\_Z}^{2}+6 \textit {\_Z} \RootOf \left (\textit {\_Z}^{3}-4\right )+\RootOf \left (\textit {\_Z}^{3}-4\right )^{2}\right )^{2} \RootOf \left (\textit {\_Z}^{3}-4\right )^{2}-9 x^{3} \RootOf \left (36 \textit {\_Z}^{2}+6 \textit {\_Z} \RootOf \left (\textit {\_Z}^{3}-4\right )+\RootOf \left (\textit {\_Z}^{3}-4\right )^{2}\right ) \RootOf \left (\textit {\_Z}^{3}-4\right )^{3}+12 x^{3} \RootOf \left (36 \textit {\_Z}^{2}+6 \textit {\_Z} \RootOf \left (\textit {\_Z}^{3}-4\right )+\RootOf \left (\textit {\_Z}^{3}-4\right )^{2}\right )+3 x^{3} \RootOf \left (\textit {\_Z}^{3}-4\right )+30 \left (-x^{3}+1\right )^{\frac {1}{3}} x^{2} \RootOf \left (36 \textit {\_Z}^{2}+6 \textit {\_Z} \RootOf \left (\textit {\_Z}^{3}-4\right )+\RootOf \left (\textit {\_Z}^{3}-4\right )^{2}\right ) \RootOf \left (\textit {\_Z}^{3}-4\right )+4 \left (-x^{3}+1\right )^{\frac {1}{3}} x^{2} \RootOf \left (\textit {\_Z}^{3}-4\right )^{2}+12 \left (-x^{3}+1\right )^{\frac {2}{3}} x \RootOf \left (36 \textit {\_Z}^{2}+6 \textit {\_Z} \RootOf \left (\textit {\_Z}^{3}-4\right )+\RootOf \left (\textit {\_Z}^{3}-4\right )^{2}\right ) \RootOf \left (\textit {\_Z}^{3}-4\right )^{2}-2 \left (-x^{3}+1\right )^{\frac {2}{3}} x -12 \RootOf \left (36 \textit {\_Z}^{2}+6 \textit {\_Z} \RootOf \left (\textit {\_Z}^{3}-4\right )+\RootOf \left (\textit {\_Z}^{3}-4\right )^{2}\right )-3 \RootOf \left (\textit {\_Z}^{3}-4\right )}{\left (x +1\right ) \left (x^{2}-x +1\right )}\right )}{2}-\frac {\RootOf \left (\textit {\_Z}^{3}-4\right ) \ln \left (\frac {-9 x^{3} \RootOf \left (36 \textit {\_Z}^{2}+6 \textit {\_Z} \RootOf \left (\textit {\_Z}^{3}-4\right )+\RootOf \left (\textit {\_Z}^{3}-4\right )^{2}\right )^{2} \RootOf \left (\textit {\_Z}^{3}-4\right )^{2}-3 x^{3} \RootOf \left (36 \textit {\_Z}^{2}+6 \textit {\_Z} \RootOf \left (\textit {\_Z}^{3}-4\right )+\RootOf \left (\textit {\_Z}^{3}-4\right )^{2}\right ) \RootOf \left (\textit {\_Z}^{3}-4\right )^{3}-9 x^{3} \RootOf \left (36 \textit {\_Z}^{2}+6 \textit {\_Z} \RootOf \left (\textit {\_Z}^{3}-4\right )+\RootOf \left (\textit {\_Z}^{3}-4\right )^{2}\right )-3 x^{3} \RootOf \left (\textit {\_Z}^{3}-4\right )-9 \left (-x^{3}+1\right )^{\frac {1}{3}} x^{2} \RootOf \left (36 \textit {\_Z}^{2}+6 \textit {\_Z} \RootOf \left (\textit {\_Z}^{3}-4\right )+\RootOf \left (\textit {\_Z}^{3}-4\right )^{2}\right ) \RootOf \left (\textit {\_Z}^{3}-4\right )+3 \left (-x^{3}+1\right )^{\frac {2}{3}} x +3 \RootOf \left (36 \textit {\_Z}^{2}+6 \textit {\_Z} \RootOf \left (\textit {\_Z}^{3}-4\right )+\RootOf \left (\textit {\_Z}^{3}-4\right )^{2}\right )+\RootOf \left (\textit {\_Z}^{3}-4\right )}{\left (x +1\right ) \left (x^{2}-x +1\right )}\right )}{12}+\frac {2 x^{3}-1}{2 \left (-x^{3}+1\right )^{\frac {1}{3}} x^{2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [F] time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {1}{{\left (x^{3} + 1\right )} {\left (-x^{3} + 1\right )}^{\frac {4}{3}} x^{3}}\,{d x} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [F] time = 0.00, size = -1, normalized size = -0.01 \begin {gather*} \int \frac {1}{x^3\,{\left (1-x^3\right )}^{4/3}\,\left (x^3+1\right )} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F] time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {1}{x^{3} \left (- \left (x - 1\right ) \left (x^{2} + x + 1\right )\right )^{\frac {4}{3}} \left (x + 1\right ) \left (x^{2} - x + 1\right )}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________